581. Knowledge structures for communications in human-computer systems: general automata-based

پدیدآورنده :

کتابخانه: (هرمزکان)

موضوع : Human -- computer interaction,Machine theory--Mathematical models.,Knowledge acquisition (Expert systems)

582. Knowledge structures for communications in human-computer systems: general automata-based

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Human-computer interaction,Mathematical models ، Machine theory,، Knowledge acquisition )Expert systems(

رده :
QA
76
.
9
.
H85
K637
2007

583. Kombinatorische und sequentielle Netzwerke Grundlagen und Anwendungen den Automatentheorie. Mit 103 Abbildungen und 23 Tabellen

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Sequential machine theory,، Algebra, Boollean

رده :
QA
76
.
E532
Bd
.
11

584. Language and Automata Theory and Applications

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگره‌ها,زبان‌های صوری -- کنگره‌ها,زبان‌شناسی ریاضی -- کنگره‌ها

رده :
E-Book
,

585. Language and Automata Theory and Applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.

رده :
QA267
.
L38
2019eb

586. Language and automata theory and applications

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبان‌های صوری -- کنگره ها ,زبان‌شناسی ریاضی -- کنگره ها

رده :
QA
267
.
L32
2015
E-Book
,

587. Language and automata theory and applications

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses,Formal languages, Congresses,Machine theory, Congresses,Mathematical linguistics, Congresses

رده :
QA267
.
L38
2012eb

588. Language and automata theory and applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.

رده :
QA267
.
L38
2018

589. Language and information; selected essays on their theory and application

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Language and languages-- Addresses, essays, lectures,، Information theory-- Addresses, essays, lectures,، Mathematical linguistics-- Addresses, essays, lectures,، Machine translating-- Addresses, essays, lectures

رده :
P
123
.
B36

590. Languages and machines :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational complexity,Formal languages,Machine theory,automate fini,Complejidad computacional,décidabilité,grammaire formelle,langage formel,langage programmation,Lenguaje formal,machine Turing,Teoría de las máquinas,théorie complexité

رده :
QA267
.
3
.
S83
1997

591. Languages and machines: an introduction to the theory of computer science

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Formal languages,، Machine theory,، Computational complexity

رده :
QA
267
.
3
.
S83
1997

592. Languages and machines; an introduction to the theory of computer science

پدیدآورنده :

کتابخانه: (خراسان الجنوبیة)

موضوع : ، Formal languages,، Machine theory,، Computational complexity

رده :
QA
267
.
3
.
S83
1988

593. Languages and machines : an introduction to the theory of computer science

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Formal languages,، Machine theory,، Computational complexity

رده :
QA
267
.
3
.
S93L2
2006

594. Languages and machines : an introduction to the theory of computer science

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)

موضوع : Formal languages,Machine theory,Computational complexity

رده :
004
.
20
S943l

595. Languages and machines : an introduction to the theory of computer science

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Formal languages , Machine theory , Computational complexity

رده :
QA
267
.
3
.
S83
1997

596. Languages and machines: an introduction to the theory of computer science

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Formal languages,، Machine theory,، Computational complexity

رده :
QA
267
.
3
.
S83
1997

597. Languages & machines:an introduction to the theory of computer

پدیدآورنده :

کتابخانه: (طهران)

موضوع : FORMAL LANGUAGES , MACHINE THEORY , COMPUTATIONAL COMPLEXITY

رده :
QA
267
.
3
.
S83

598. Learning Bayesian networks

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Bayesian statistical decision theory,، Machine learning,، Neural networks )Computer science(

رده :
QA
279
.
5
.
N42L4

599. Learning automata and stochastic optimization

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Mathematical optimization,Machine Theory,، Stochastic processes

رده :
QA
402
.
5
.
P69
1997

600. Learning theory and Kernel machines : 16th annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computational learning theory,Congresses ، Machine learning

رده :
QA
76
.
L28
Vol
.
2777